we've already shown that and finally, we have also shown that each clause can be satisfied because we can only visit a vertex down here like that with paying just one extra edge if the assignment up here corresponds to a satisfying assignment.