Nena Proofs