logicism

not defined yet