Past Modals for Deduction