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. 