Implicit demand for proof

Modified