explaining the first statement in the conditional