Theorem 0.1. According to all known laws of aviation, there is no way a bee should be able to fly.
By all known laws of aviation.
Lemma 0.1.151 (Pog): pog
Exercise 0.1.152 - Run a mile.
Solution: touch grass
Theorem. [defenestration defenestration.