[Iris-Club] A question on invariant identifier namespaces

[Ralf Jung]

Hi Jeehoon,

>     Furthermore, the N subscript at the viewshift is implicitly closed.
> 
> 
> Not sure how do you mean by "closed."  May I ask what does it mean? 

I meant, we write "=>_N" to mean "=>_N↑".

Kind regards,
Ralf