so, if we are somewhere near a satisfying assignment, and of course, by chance the algorithm makes the right choices here then we would find a satisfying assignment provided that the original boolean formula actually has such an assignment.