--- a/preamble.tex	Tue Dec 08 01:08:53 2009 +0000
+++ b/preamble.tex	Fri Dec 11 22:44:25 2009 +0000
@@ -70,6 +70,8 @@
 \newtheorem*{defn*}{Definition}             % unnumbered definition
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
+\newtheorem{axiom}{Axiom}
+\newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \numberwithin{equation}{section}
 %\numberwithin{figure}{section}