Seol mar théacs é seo: Groups, difference sets, and the monster