Propagating names.