Added method for used in proof.