Die Schlussregel für sich allein sollte Sinn ergeben. Das tut sie jetzt (jedenfalls, wenn man , , und nicht auch als frei ansieht). Für die unter diesen Umständen noch freien und (und eben nicht ) ist die Schlussregel allgemeingültig. Wo ist das Problem? Und was soll zu kompliziert sein? -- Daniel5Ko 00:51, 1. Okt. 2011 (CEST)