x = y