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

               Click here for Explanation Mode       You are in Definition Mode