Edgeworth and his terrible puns-1