nrels for proofs added