deletions | additions       diff --git a/spec.tex b/spec.tex  index 38548ba..e4ffef5 100644  --- a/spec.tex  +++ b/spec.tex 
...
& \texttt{remove(y)} & $x \ne y \lor y \notin Set$ \\  & \texttt{size()} & $\forall x$ \\  \hline  \label{tab:spec}  \end{tabular}  Commutativity Specification for Set.