When you combine increase with monotonically you rule out the possibility that it is equal. However I'd expect for an index you want increasing by one, which is more strict than monotonically increasing. _______________________________________________ Ietf@xxxxxxxx https://www1.ietf.org/mailman/listinfo/ietf