(The latter because derived contexts are syntactic...
# minutest
n
(The latter because derived contexts are syntactically nested within outer contexts)