logicize

not defined yet