A Missing Proofs