Implict Demand for Proof