Modals of deduction