I'm confused, when we reach if (C(i) == 0) aren't we guaranteed that C(i) == 1 by the outer if statement?