logicalize

not defined yet