Comment by roundsquare

Is the following correct? This proof depends on the fact that in the clause gadget (figure 5) the car can't turn once it jumps to the cheek point. Because of this, it can't in from the track for one for one variable to that for another.