Non-uniform closure. Fix $v₀$ and evaluate at the (padded) bi-adjacency matrices of the bipartite double covers of the filled CFI graphs Ĝ_0 and Ĝ_{δ_{v₀}}. Both evaluations agree on every $hom_{F',N}$ with $F' ∈ \mathcal{F}$ ($NU.minorLifting_eq$, using $NU.eval_hom$, $NU.homBip_pad$), hence on $homSpan$, but differ on $hom_{F,N}$ ($NU.minorLifting_lt$).