--- a/pnas/preamble.tex	Fri Nov 12 10:49:09 2010 -0800
+++ b/pnas/preamble.tex	Fri Nov 12 14:34:16 2010 -0800
@@ -47,8 +47,8 @@
 
 \newcommand{\id}{\boldsymbol{1}}
 
-\newtheorem{property}{Property}
 \newtheorem{prop}{Proposition}
+\newtheorem{property}[prop]{Property}
 \newtheorem{thm}[prop]{Theorem}
 \newtheorem{lem}[prop]{Lemma}
 \newtheorem{defn}[prop]{Definition}