Proof + Gauge