Policies & Proofs