Operators [...] are called operators. User [...] programming. The operators
Time21_22, and Max [...] Time21_22, and Max [...] be observed. Max
TimeEntry and Max [...] be observed. Max [...] TimeEntry and Max
operator acknowledgement [...] should be consulted. For operators [...] , Sec. 6.1 "Operator