I have previously reviewed -40 version of this document and in my pass over the diffs between -40 and -42, I did not find new issues. I believe the document is ready.

One nit below.

Section 4.1.3.: s/Thus, when a node joins to a network will know which value to use./Thus, when a node joins a network, it knows which value to use.