2021-3-3-Anderson Team proofs

March 1st, 2021