Seol mar théacs é seo: Foundations of the calculus /