punched | OpenEtymology