Seol mar théacs é seo: Automation in theory and practice :