added Body of Proof