“Πp ⊃ p” klingt || klingt uns, als sagte es: Wenn Πp der Fall ist, so wirst
Du finden, daß p der Fall ist.