Moore_Proof2