\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*}