the science of deduction