Levin 2017 FinalsLevin 2017 Proofs