Dynamic: name propagation.