Init  ==  /\ x = 0
             /\ y = 0

               Click here for Explanation Mode       You are in Definition Mode