propositionen , atl K.