introduced written method in ClauseUtils