"Examples of circuits of transformations" appeared twice
Section "9.2.2 Concatenation composability property" was missing. I assume that this is a mistake when the texts were copied and pasted from the IETF draft.
(R) was rendered into a copyright symbol. I inserted escape characters to prevent that.
Fix typos and formats for Section 9.
(R)was rendered into a copyright symbol. I inserted escape characters to prevent that.