past modals of deduction