when x = 1 do 1 := 2