Modals for deduction