--- a/preamble.tex	Thu Aug 11 13:25:22 2011 -0700
+++ b/preamble.tex	Thu Aug 11 13:26:00 2011 -0700
@@ -50,6 +50,9 @@
 \theoremstyle{plain}
 %\newtheorem*{fact}{Fact}
 \newtheorem{prop}{Proposition}[subsection]
+\makeatletter
+\@addtoreset{prop}{section}
+\makeatother
 \newtheorem{conj}[prop]{Conjecture}
 \newtheorem{thm}[prop]{Theorem}
 \newtheorem{lem}[prop]{Lemma}