David Newborn Proofs