The Clause gadget in Valiant's permanent reduction is an interchange that can take every proper subset of its literal junctions, uniquely, but cannot take all. Variable tracks must therefore take at least one junction, representing a true literal. An unsatisfied clause has no good route.[ref]