logicist

not defined yet