propositionen