Natalie proofs