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, das in ihr als spezieller Ersetzungsregel noch nicht liegt.