Past modals of deduction