diminutio — Etymology, Origin & Word History | Etymology Explorer