deletions | additions       diff --git a/spec.tex b/spec.tex  index e4ffef5..4cb6c53 100644  --- a/spec.tex  +++ b/spec.tex 
...
\label{tab:spec}  \begin{tabular}{lll}  \textbf{method:} & \textbf{commutes with:} & \textbf{when:} \\  \hline 
...
& \texttt{remove(y)} & $x \ne y \lor y \notin Set$ \\  & \texttt{size()} & $\forall x$ \\  \hline  \label{tab:spec}  \end{tabular}  Commutativity Specification for Set.