Modals of deduction exercises