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