Steven Desmond Proofs