Implicit Demand For Proof Cover