prelogic

not defined yet