deletions | additions       diff --git a/set_spec.tex b/set_spec.tex  index 11ba346..e2f301c 100644  --- a/set_spec.tex  +++ b/set_spec.tex 
...
\begin{figure}  \begin{tabular}{lccccc}  \textbf{Phase} & \textbf{Time} & \textbf{M$_1$} & \textbf{M$_2$} & \textbf{$\Delta M$} & \textbf{P} \\   1 ZAMS & 0 & 16 & 15 & -- & 5.0 \\  
...
4 ECHB & 18.10 & -- & 16.76 & -- & -- \\  5 ICB & 18.56 & -- & 12.85 & -- & -- \\   6 ECCB & 18.56 & -- & 12.83 & -- & -- \\  \end{tabular}  \label{spec} \label{tab:spec}  \caption{Commutativity Specification for \emph{Set}.}  \end{figure} \end{tabular}