finals2016 FinalsOOB proofs