In the up-to context for call-by-name (mentioned towards the end of
section 3), in the case of context with multiple holes, arguments not in redex
position should appear in  the environment. See the web appendix for
the full definition.