Und das bringt mich wieder darauf, dass 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 muss das Aufbauen mit dem Resultat des Aufbauens äquivalent sein. (Da es nie auf (verschiedene) Attribute ankommt.)