proportionality | OpenEtymology