Die alte Schreibweise war fa ∙ fb ∙ fc ∙ ~(∃xyzu) ∙ fx ∙ fy ∙ fz ∙ fu,
die neue Schreibweise wäre
      fa ≡ t ∙ fb ≡ t ∙ fc ≡ t ∙ fd ≡ cont. fe ≡ cont. etc.
      das heißt aber einfach:
      fa ∙ fb ∙ fc ∙ ~ fd ∙ ~ fe etc.

     fa ∙ fb ∙ ~fc ∙ ~fd … ∙ ge ∙ gh ∙ ~gi ∙ ~gl ⊃       ⊃ (∃R) (a,b) R (e,h)
D.h. f & g sind ähnlich wenn ihnen ähnliche Extensionen passen. – Wie aber zeigt man die Ähnlichkeit der Extensionen? So: Ich stelle eine Regel auf nach der ich je zwei Extensionen auf ihre
Ähnlichkeit prüfen kann, durch eine Zuordnung die ich an den Zeichen tatsächlich vollziehe. Diese Zuordnung ist nach einer gewissen Regel gebaut & diese Regel muß die formale Reihe enthalten, oder sagen wir die allgemeine Form dieser Zuordnung also die variable Zuordnung.