theorem :: COUNTERS:39
canceled;