(y = x) and (y = x + 6)