logicalization

not defined yet