Ich könnte es so ausdrücken: man könnte die Definition U sehen ohne zu wissen warum ich so definiere. [ so abkürze. ]
     Man könnte die Definition ◇◇◇ sehen ohne ihren Witz zu verstehen. – Aber dieser Witz ist eben etwas Neues, daß in ihr als spezieller Ersetzungsregel noch nicht liegt.

\