Write 2-column proof

Active — user can report