These puns were made for people who like to think.