Typo

README.md

@@ -125,7 +125,7 @@ The syntax of formulas is as follows:
 - ``b:x`` is the ``(x+1)``th procedure argument
 - ``__top`` is equivalent to ``l:0`` (the root loop scope)
 - ``loops:`` contains information about loops hierarchy, where
-  elements of ``X _c Y`` form states that ``the loop X is in the body
+  elements of ``X _c Y`` form state that ``the loop X is in the body
   of the loop Y``
 - ``endl`` indicates the end of the formula