Context of Execution

[Jack Waugh]

Does the language definition require that every invocation of a method or block
happen with a new context?  Must the context inherit from the calling context?

Where is the source code to the macro, "`>>"?  Doesnt' "`>>" pass an arbitrary
object (its left argument) as the context?  Does that break programmers'
expectations about what the context does for its callers?  Does it cut off
access to the lobby, for example, for the code in the block that is the right
argument of "`>>", and for code called by that code?