proving | OpenEtymology