Describir: "Proof", policy, and practice :