Silvers 2017 Proofs