Deduction, Computation, Experiment by