6˙1212
Diese Methode könnte man auch eine Nullmethoden nennen. Im logischen Satz werden [s|S]ätze mit einander ins Gleichgewicht gebracht und der Zustand des Gleichgewichts zeigt dann an wie diese Sätze logisch beschaffen sein müßen.