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