What if we explicitly mark situations where there is an identifier that would refer to an outside scope in SRFI-251 semantics while referring to "over-the-run-of-commands" definition according to SRFI-245 semantics, and only those situations, as "it is an error"? Would it still leave enough useful programs "in the clear"? If this is so, both SRFIs become different implementation strategies for the same common idea.