From 56ef116dcbe0d4b81f7b5bc2d38d9d51add2c62a Mon Sep 17 00:00:00 2001
From: Stratis Ioannidis <stratis@stratis-Latitude-E6320.(none)>
Date: Sun, 7 Jul 2013 19:01:14 -0700
Subject: monotone

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 324f11f..b6031cb 100644
--- a/main.tex
+++ b/main.tex
@@ -65,7 +65,7 @@ fixed costs $c_{-i}$ of agents in $\mathcal{N}\setminus\{i\}$, $i\in S(c_i,
 c_{-i})$ implies $i\in S(c_i', c_{-i})$, and (b)
  agents are paid \emph{threshold payments}, \emph{i.e.}, for all $i\in S(c)$, $p_i(c)=\inf\{c_i': i\in S(c_i', c_{-i})\}$.
 \end{lemma}
-Lemma~\ref{thm:myerson-variant} allow us to incorporate our relaxation in the above framework, yielding the following theorem:
+Lemma~\ref{thm:myerson-variant} allows us to incorporate our relaxation in the above framework, yielding the following theorem:
 \begin{theorem}\label{thm:main}
     For any $\delta>0$, and any $\epsilon>0$,  there exists a $\delta$-truthful, individually rational
     and budget feasible mechanim for \EDP{} that runs in time
-- 
cgit v1.2.3-70-g09d2

