Anfonwch hwn fel neges destun: From Algebra to Operational Semantics