20121020_proofs

20121020_proofs