Sedrick Thomas Proofs