Sefrit Donaldson e proofs