Lashaunta and Thomeir proofs

October 7th, 2020