Chapter 3 Proof techniques I — Standard methods

Love is a snowmobile racing across the tundra and then suddenly it flips over, pinning you underneath. At night, the ice weasels come.

—Matt Groening