Add S2_trivial(x, y)