Present Modals for Deduction