Proofs-2014-6-23Edits-1