booleanizing