Modals for deduction past