diff -r a3631a999462 -r 16efb5711c6f preamble.tex
--- a/preamble.tex	Sun Dec 13 01:32:28 2009 +0000
+++ b/preamble.tex	Wed Dec 16 19:30:13 2009 +0000
@@ -71,7 +71,9 @@
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
 \newtheorem{axiom}{Axiom}
+\newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{}
 \newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
+\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \numberwithin{equation}{section}
 %\numberwithin{figure}{section}