diff --git a/spec/src/introduction.tex b/spec/src/introduction.tex
index 8114d717..bc018927 100644
--- a/spec/src/introduction.tex
+++ b/spec/src/introduction.tex
@@ -14,6 +14,6 @@ We would like, as a programming language, a \textbf{specification} for \textit{e
 
 One key difference between this vision and probabilistic programming languages (PPLs) is that for us, the ingest of data is not a factor. See discussion with John Wentworth in \cite{@SqgSequence} for background on the PPL comparison.
 
-TODO
+\textbf{TODO}
 
 \end{document}
diff --git a/spec/src/main.tex b/spec/src/main.tex
index 412864f2..3ae6d679 100644
--- a/spec/src/main.tex
+++ b/spec/src/main.tex
@@ -13,7 +13,7 @@
 \usepackage[backend=biber, hyperref=true, citestyle=authoryear]{biblatex}
 \addbibresource{biblio.bib}
 
-\title{Squiggle $\alpha$-v0.0.1 Specification (INTERNAL)}
+\title{Squiggle $\alpha$-v0.1 Specification (INTERNAL)}
 \author{Quinn Dougherty}
 \date{April 2022}
 
diff --git a/spec/src/syntax.tex b/spec/src/syntax.tex
index 70a69130..70892f82 100644
--- a/spec/src/syntax.tex
+++ b/spec/src/syntax.tex
@@ -24,9 +24,10 @@ From a grammatical perspective \texttt{SampleSet} and all of the alternatives of
 Finally, most of the magic happens in $\langle \textit{Expression} \rangle$
 
 \begin{grammar}
-  <Expression> ::= <GenericDist> \alt \texttt{float} \alt <Expression> + <Expression> \alt <Expression> * <Expression> \alt <Expression> .+ <Expression> \alt <Expression> .* <Expression>
+  <Factor> ::= <GenericDist> \alt \texttt{float} \alt <Factor> * <Factor> \alt <Factor> .* <Factor>
+
+  <Expression> ::= <Factor> + <Factor> \alt <Factor> .+ <Factor>
 \end{grammar}
 
-TODO: split this up into multiple declarations such that order of operations is captured/described.
 
 \end{document}