Laws and Proofs