-( (x + 0) - (x = y) )