propositio

not defined yet