2015-0719-Proofs2015-0719-final