proofs -5039 {proofs},