t. thomas - proofs

October 5th, 2022