I saw a theatrical performance about puns. It was a play on words.