There is a one-to-one mapping between the txnNumber and a transaction participant / retryable write (no transaction). We should make a participant only know of its constant transaction number. Bumping txnNumber will try to abort the current participant, which throws an exception if it can't, and start a new one. As a result, participant only needs to check its state (aborted or not) and should never know of the change of the transaction number.