Remark the union of S and S is looking a bit sus there...