proof/config/locales at main