Seol mar théacs é seo: From Algebra to Operational Semantics