Konsequenterweise muss nun bewiesen werden, dass auch diese Regeln "richtig" sind. Hierbei gibt es jedoch - unerwarteterweise - Probleme. Es kann lediglich bewiesen werden, dass diese Regeln in sich genommen schlüssig sind und sich nicht widersprechen. Dies ist jedoch schon alles was bewiesen werden kann.