Implicit Demand for Proof

Modified