propositionen , ari ianled¬