Shorter names for executives.