Verkürze Proposition -> Prop