Implicit Demand for Proof (Trombone)