Seol mar théacs é seo: Reversible computation :