Add proof of Myerson's lemma. Introduce the counterexample in the body.

1 files changed, 2 insertions, 2 deletions

diff --git a/paper.tex b/paper.tex
index 3ff5607..a52bf28 100644
--- a/paper.tex
+++ b/paper.tex
@@ -41,10 +41,10 @@
 \bibliography{notes}
 \appendix
 \input{appendix}
-\section{Non-Monotonicity of the Maximum Allocation Rule}\label{sec:monotonicity}
-\input{counterexample}
 \section{Proof of Lemma~\ref{thm:myerson-variant}}\label{sec:myerson}
 \input{myerson}
+\section{Non-Truthfulness of the Maximum Mechanism}\label{sec:non-monotonicity}
+\input{counterexample}
 \section{Extensions}\label{sec:ext}
 \input{general}