#implicit demand for proof