Seol mar théacs é seo: Deduction, Computation, Experiment