Out of curiosity, the implementer of the transport entity of Fig. 6-20 has decided to put counters inside the sleep procedure to collect statistics about the conn array. Among these are the number of connections in each of the seven possible states, ni (i = 1, ..., 7). After writing a massive FORTRAN program to analyze the data, our implementer discovers that the relation Σni = MAX_CONN appears to always be true. Are there any other invariants involving only these seven variables?