Deduction, Computation, Experiment door