Aus diesen Regeln ergeben sich dann die Grundgesetze Russells
φx . ⊃ . (∃Z).φZ &
φx ⌵ φy . ⊃ . (∃Z).φZ als Tautologien.