02/20/2021 WSM Proofs