<p>\begin{thm}
According to all known laws of aviation, there is no way a bee should be able to fly.
\end{thm}</p>
<p>\begin{pf}
By all known laws of aviation.
\end{pf}</p>
<p>\begin{lem}[Pog]{Pog}
pog
\end{lem}</p>
<p>\begin{exer}</p>
<p>\begin{summary}
Run a mile.
\end{summary}</p>
<p>Solution: touch grass
\end{exer}</p>
<p>\begin{thm*}[defenestration]
defenestration.
\end{thm*}</p>
