predicational

not defined yet