\noindent\nbpdfInput{Snips/20.pdf}

\noindent\nbpdfInput{Snips/21.pdf}

\noindent\nbpdfOutput{Snips/22.pdf}

Next comes Reid1, where we use results from an earlier example:

\noindent\nbpdfInput{Snips/23.pdf}

\noindent\nbpdfOutput{Snips/24.pdf}

Invariance under the other moves is proven similarly.

