Finish proof of ending corner alternation
Some minor clean-up.....