update

[ar1516.git] / a2 / 1.tex

diff --git a/a2/1.tex b/a2/1.tex
index 94a01cb..67a214c 100644 (file)
--- a/a2/1.tex
+++ b/a2/1.tex
@@ -24,7 +24,7 @@ Iteration $0$ depicts the initial state and can be described with a simple
 conjuction:
 $$a_0=40\wedge b_0=30\wedge c_0=145\wedge t_0=300\wedge l_0=S\wedge d_0=0$$
 
-After that all iteration can be formalized as
+After that all iterations can be formalized as
 $$\begin{array}{lrl}
        \bigwedge_{i\in I} \Bigg(
        % Bent in S