Modals of deduction in the past