diff -r c9f41c18a96f -r 9dfb5db2acd7 preamble.tex
--- a/preamble.tex	Tue Sep 21 14:44:17 2010 -0700
+++ b/preamble.tex	Tue Sep 21 17:28:14 2010 -0700
@@ -49,7 +49,7 @@
 % THEOREMS -------------------------------------------------------
 \theoremstyle{plain}
 %\newtheorem*{fact}{Fact}
-\newtheorem{prop}{Proposition}[section]
+\newtheorem{prop}{Proposition}[subsection]
 \newtheorem{conj}[prop]{Conjecture}
 \newtheorem{thm}[prop]{Theorem}
 \newtheorem{lem}[prop]{Lemma}
@@ -61,9 +61,9 @@
 \newtheorem{defn}[prop]{Definition}         % numbered definition
 \newtheorem*{defn*}{Definition}             % unnumbered definition
 \newtheorem{question}{Question}
-\newtheorem{property}{Property}
-\newtheorem{axiom}{Axiom}[section]
-\newtheorem{module-axiom}{Module Axiom}[section]
+\newtheorem{property}[prop]{Property}
+\newtheorem{axiom}[prop]{Axiom}
+\newtheorem{module-axiom}[prop]{Module Axiom}
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \newtheorem{rem*}[prop]{Remark}
 \newtheorem{remark}[prop]{Remark}