Using modals of certainty and deduction