::Korbin Senior Proofs (take2)::