It is. nonAcked is always the messages with larger seq than the cumulative ack, and nacked ones are the explicitly nacked, which has to be below the cumulative ack.