Puns are the root of bad humour...