Andrea West proofs

June 3rd, 2023