Deduction Modals - Must be, Can\