"In logic, everything is black and white: a logical statement is an assertion that is either true or it is false. As previously discussed, some programming languages allow you to define and use Boolean variables that can be assigned the value true or false. We can also formulate statements that involve other types of variables whose truth values are determined by the values of the variables at run time."