So if the clause just consist of x2 for instance, then we'll set it to true, or is that the clause just consist of not-x2, we're going to set x2 to false, and that way, we know that x2 has to be that in order for the Boolean formula to be satisfied. 