Neuer Punkt 4.: Da ich jetzt weiß, dass der optionale Nicht-Kopf nicht die Ergänzung, sondern der Spezifikator ist: Warum ist die Ergänzung nicht auch optional? Wie macht man ohne Ergänzung den Schritt von X' nach X, der nötig ist, um die Regel X -> t anzuwenden? -- UKoch 18:44, 22. Mär. 2011 (CET)