Аксіоми, теореми, означення

Active — user can report