corollary | OpenEtymology