Wenn man etwa fragt ist das nun die letzte Regel die aufzustellen |auszusagen ist so wäre die Antwort: natürlich nicht. Auch kann man sagen: keine wird die letzte sein. Aber hier bedient man sich schon einer Variablen denn dem ‘keine’ entspricht nicht ein logisches Produkt.