Modals of deduction: might, can't, must

Active — user can report