propositioning

not defined yet