1: \begin{proof}[Proof of Lemma~\ref{lem:normal}]

2:   Let $S$ be any essential surface in $E(K)$ which is not a fiber.  We

3:   will assume that $S$ is orientable, since if not we can replace it

4:   with the boundary of its regular neighborhood, which is an

5:   orientable essential surface with the same boundary slope.  By

6:   \cite{HoffmanEtAl2016}, there is a geometric solution to the gluing

7:   and completeness equations for $\cT$, that is, one where all

8:   tetrahedra are positively oriented.  Thus the interior of $E(K)$ is

9:   hyperbolic and no edge of $\cT$ is homotopically peripheral.

10:   Therefore, by \cite[Theorem 1.6]{Walsh2011}, the surface

11:   $S$ can be isotoped into spun-normal form with respect to $\cT$.

12:   (Technical note: the hypotheses in \cite{Walsh2011} require that $S$

13:   is not a \emph{virtual} fiber, but the only virtual fibers in the

14:   exterior of a knot in $S^3$ are actual fibers.)  Thus the boundary

15:   slope of $S$ is also the boundary slope of a spun-normal surface,

16:   proving the first part of the lemma.  To see that the spun-normal

17:   surfaces have only the boundary slopes listed above, one simply

18:   computes the boundary slopes of the finite collection of vertex

19:   spun-normal surfaces.  This is easily done rigorously using SnapPy

20:   \cite{SnapPy} or Regina \cite{Regina}; for example, in the former

21:   one simply does: \verb|Manifold('K6_36').normal_boundary_slopes()|

22: \end{proof}

23: