{ x = 0 } ⫽ { x = 1 + 1 }