Seol mar théacs é seo: Design and Proof of a Mail Service