proportion | OpenEtymology