... thinking about it as "if C is not, then ... logical to to take "if B is selected, then ... is selected" and get "if C is not selected, then ... C is necessary for the selection of B, if it were not ... not." What is absolutely necessary for the condition that "C is not" ...