Implicit Demand for Proof (Trumpet)