Yes, my understanding is that I convinced you and @nwolfe that this code is good like this.