"Open--that is, of course, the difficulty. I have thought of incorporating something of the gateway weave into the theorem. I have approached it cautiously, as you recommended--and indeed, since I cannot create the differentiated thanergy on my own, my studies have remained entirely notional."

"And then I thought--perhaps a notional gateway is all that is needed, to exercise control over a theorem left behind."