recursion in demand semantics

Given , , and , what should the demand semantics interpretation of in environment with demand be?

Intuitively, we should interpret in terms of the interpretation of . Naturally, we should have , where . But we have an element of at hand—namely, . So we could postulate

Of course, this does not work because of the circularity in the definition of , but it is suggestive.