Narem Proofs