%auto-ignore
%this ensures the arxiv doesn't try to start TeXing here.
\section*{todo list}
\begin{enumerate}
\item Write this todo list.
\item Write an abstract.
\item Write an introduction.
\item \verb+top_matter.tex+ -- contact details, AMS classification
\item Explain why the principal graph of the D4 subfactor really is D4.
\end{enumerate}

\subsection*{To ask Vaughan about}
\begin{enumerate}
\item What adjectives do we need to algebraic bimodules? Finitely
generated as 1-sided modules? Should they be positive definite inner
product spaces (not necessarily complete)? Or can they just be vector
spaces?
\item What does irreducibility translate to for bimodules? Extremality?
\item What's the deal with 'bimodules generated by M'? How much do you
miss?
\item What's the reference for the algebraic bimodules generated by M
being the same as the $L^2$ bimodules generated by $L^2(M)$?
\end{enumerate}
