errata.tex

\section*{Errata}
\label{sec:errata}

A previous version of this paper published by the ACM had an error in the third premise of the \textsc{MALam3} rule in which the context was extended as $\extendCtx{\ctx}{x}{\TMV_1}$ instead of $\extendCtx{\ctx}{x}{\TMV}$.