Past Modals of Deduction