Since ancient Greece, smart people have been annoyed by puns