postulational

not defined yet