Seol mar théacs é seo: Harbrace mathematics