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