From 92c1aa4d619cff521bd8db3e1bf39951ef571146 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Thu, 6 May 2021 23:34:37 +0200
Subject: [PATCH] master > master: README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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.