Implicit Demand of Proof

Modified