Claim: Every time the algorithm makes a mistake, some blocks are demoted. Proof: This claim is obvious from the algorithm. Every time it makes a mistake, the c

Claim: Every time the algorithm makes a mistake, some blocks are demoted. Proof: This claim is obvious from the algorithm. Every time it makes a mistake, the chosen block will be demoted. Proof by inspection, my favourite.