Repush of deduction Calculations