Nailah Proofs