/  
Wer entdeckt daß ˇein Satz p aus einem von der Form q ⊃ p ∙ q folgt der konstruiert ein neues Zeichen, das Zeichen dieser Regel. (Ich nehme dabei an,
ein
der
Kalkül mit p, q, ⊃ , ∙ , sei schon früher gebraucht worden, & nun träte diese Regel hinzu & schaffe damit einen neuen Kalkül.)