presuppositions

not defined yet