logicizing

not defined yet