implicit demand for proof