FinalKooper's Proofs 2018