Remark: Status of the control

The tests (eq:control-tests) are observation-spacelike. The support of $B_f$, however, can extend into $P_F$. No lower support calculation establishing both actual orderings has been supplied for this pair. Accordingly, (eq:control-pairing) is a nonzero observation-spacelike control, not an obstruction witness.