 Variable gadget in Valiant's permanent reduction

The Variable gadget in Valiant's permanent reduction is a track with two coherent routing choices. Each takes one side's literal junctions; clause tracks must take the other side. Interpret the global choice as a truth value, making all occurrences consistent.^[ref]