For 22b With the every unscoped, there is no choice of context which contains a parallel element to bill that does not also contain the VPELL functor, leading to an infinite regress, analogous to the "occurs check" failure in DSP.
we correctly cannot produce the unavailable reading.