x := 1 + x x := x + x y := x + x x := x + y y := x