If so I think top-levelness solves this; ie: if top-level must be named.