In a proposition convert all its indefinables into variables; there then remains a class of propositions which has || is not all propositions but a type.

2