@@ -1707,8 +1707,6 @@ interferes with $x$, $y$ interferes with $z$, and $w$ interferes with
$y$ and $z$. The resulting interference graph is shown in
Figure~\ref{fig:interfere}.
-\marginpar{I don't think this graph is correct. If Z interferes with X,
-shouldn't there be an edge that connects them?}
\begin{figure}[tbp]
\large
\[