epsilon of proofs added