propositions

not defined yet