As the first line of context shows, if the first condition is false, the second
is false too. Thus, the first condition is useless.
OK?