More proper names