Gavit Spring Fling 2017 proofs