Mit der Möglichkeit p ∙ q = p wenn sie nicht aus der W-F-Notation hervorgeht habe ich natürlich ein ganz neues Element in den Kalkül eingeführt den Kalkül ganz geändert.