Ich arbeite derzeit an einem Referat über "starke Normalisierbarkeit" von Herleitungen im "Kalkül des Natürlichen Schließens". Also habe ich keine Zeit für euch. Tut mir leid.