Implicit demand for proof