Anfonwch hwn fel neges destun: Deduction, Computation, Experiment