AX  ==  /\ x' = x + 1
         /\ y' = y

               Click here for Explanation Mode       You are in Definition Mode