A check declares what it needs in order to answer, and what not knowing means: Guard becomes a projection of one ternary predicate

ADR-071 accepted a weakness it could not close. It stands in that ADR's own `negative` field —