Text this: Name creation implements restriction in the π-calculus.