Theorem 0.1. According to all known laws of aviation, there is no way a bee should be able to fly.

Proof 0.1.150.

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.