(E1)xFx & (E1)xGx & (x).non (Fx & Gx) .C. (E2)x.Fx . V .Gx
    Wenn hier F und G die Formen x = a . V . x = b, etc. sind, dann ist der ganze Satz eine Vorrichtung geworden, die dafür sorgt, dass richtig addiert wird.

✓ ?