Set Notation and Language

Active — user can report