HV NOV Proofs