logicalist

not defined yet