diff --git a/README.md b/README.md
index 1de3a61..257e865 100644
--- a/README.md
+++ b/README.md
@@ -21,5 +21,5 @@ Beispiele aus der Übung:
 - `(A1 || (A2 && A1))`
 - `((A0 -> A1) -> (A1 -> A0))`
 
-Das Tool ist klug genug um zu erlauben, dass man äußerste Klammern weglässt,
-und dass man bspw. `A0 && A1 && A2` statt `((A0 && A1) && A2)` o. Ä. schreiben muss.
+Das Tool ist klug genug, um das Weglassen der äußersten Klammern
+und `A0 && A1 && A2` statt `((A0 && A1) && A2)` u. Ä. zu zulassen.