\begin{thm}
According to all known laws of aviation, there is no way a bee should be able to fly.
\end{thm}

\begin{pf}
By all known laws of aviation.
\end{pf}

\begin{lem}[Pog]{Pog}
pog
\end{lem}

\begin{exer}

\begin{summary}
Run a mile.
\end{summary}

Solution: touch grass
\end{exer}

\begin{thm\*}[defenestration]
defenestration.
\end{thm\*}
