Yes, that's the main idea.
I'm trying to make Terms as independent as possible, and only the Context you provide to the transformation gives them meaning.
I remember a horrible experience with DOM, where each element has access to the containing Document object. Because of that, every insertion or adoption of nodes is two times as hard, because you need to handle this pointer. It would be best if we avoid such high maintenance systems in K, because at the moment, they don't bring anything useful.