--- a/preamble.tex	Thu Jun 03 20:58:39 2010 -0700
+++ b/preamble.tex	Thu Jun 03 21:16:36 2010 -0700
@@ -70,6 +70,7 @@
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
 \newtheorem{axiom}{Axiom}
+\newtheorem{module-axiom}{Module Axiom}
 %\newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{}
 %\newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
 \newtheorem{example}[prop]{Example}