Seol mar théacs é seo: Brief calculus and its applications /