Suppose we have a justified checkpoint A. Suppose that A has 2 child checkpoints, let’s call them B1, B2. Each of the child checkpoints received 50% of the votes. At this point, it is not possible for one of the B checkpoints to become justified, without someone losing their deposit, correct? This was a little confusing for me. Suppose that B1 has a child checkpoint C1. I then realized that a validator can vote on A -> C1 (skipping B1). So even though C1 is not a direct child of A, it’s still possible to vote that way (if my understanding is correct). So the B checkpoints can never become justified, but their children could (maybe you could state this explicitly).

I didn’t see this kind of example in any of the diagrams. (All votes seem to go from parent to direct child in all the examples, and never skip a generation).