First CutFinals2017 Proofs2017 Finals