Doch ist eine andere Art der Allgemeinheit in der Regel daß p ⌵ q aus p folgt, als in der, daß jeder Satz der Form, p, ~~p, ~~~~p, … aus p ∙ q folgt. Ist aber nicht die Allgemeinheit der Regel für den Rösselsprung eine andere als die einer Regel für den Anfang einer Partie?