/  
Wenn „a + (b[)| + ]1) = (a + b) + 1” die allgemeine Regel ist, dann kann ich 2 + 2 durch 4 ersetzen; das liegt in der logischen Struktur der Welt.