9/14/20 VLG Proofs