In the latest revision of the Oberon language, access to identifiers in intermediate scopes is denied. Doesn't this imply that the restriction that only globally defined procedures can be assigned to procedure variables, is the unnecessary? -- August