deferred names need to be unique