Kacille and Tyus Proofs