--- a/preamble.tex	Mon May 31 08:59:18 2010 -0700
+++ b/preamble.tex	Mon May 31 12:44:19 2010 -0700
@@ -77,6 +77,7 @@
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \numberwithin{equation}{section}
 %\numberwithin{figure}{section}
+%\newtheorem{nonaxiom}{Not-An-Axiom}
 
 % Marginal notes in draft mode -----------------------------------
 \newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue}  $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n}  #1 --S}}     % draft mode