Und das bringt mich wieder darauf, daß ja jede Erklärung eines Zeichens statt des Zeichens sollte dienen können. D.h. wenn ich ein Zeichen durch Erklärungen gleichsam aufbaue, dann muß das Aufbauen mit dem Resultat des Aufbauens äquivalent sein. (Da es nie auf (verschiedene) Attribute ankommt.)