Wenn ich mir denke, daß der Beweis Regeln aus Regeln ableitet, so bestimmt er mich also gewisse Regeln anzuwenden, nachdem ich mich schon vorher entschieden habe gewisse Regeln anzuwenden.