Deduction Pathways