Thanks to Andrew Not-Ladner for this joke!