{[Remark]}
 the union of S and S is looking a bit sus there...
