Seeing the deductions in the routines