Elena- proofs