Edgeworth and his terrible puns-4