diminutive=Richard