Modals of deduction

Active — user can report