proper name resolving