How Does Proof