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