novel proofs