\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Answer}
\begin{popup}
\subsection*{Answer} Mutual exclusion can be violated if process 0 is
started at $e3$ or $e4$.  The necessary additional conjunct is
 \[ pc[0] \notin \{"e3", "e4"\}
 \]
\end{popup}
\makepopup