20131005_proofs

20131005_proofs