+

Rewrite (S1+S2)