Seol mar théacs é seo: Unification of Theories: A Challenge for Computing Science