Provide The Missing Reasons For The Proof