\noindent\nbpdfInput{Snips/APAI/45.pdf}

\noindent\nbpdfOutput{Snips/APAI/46.pdf}

\noindent(Note that the version of the $g$-rules we used above easily follows from~\eqref{eq:CounterRules}).

\noindent\nbpdfInput{Snips/APAI/47.pdf}

\noindent\nbpdfOutput{Snips/APAI/48.pdf}

\noindent\nbpdfInput{Snips/APAI/49.pdf}

\noindent\nbpdfOutput{Snips/APAI/50.pdf}

