BTW, `S.Integers - S.Naturals` doesn't work.