This just confirms my belief that the pun is the highest possible form of comedy.

It is written.