Update ElenaProofClass