where the puns are always intended.