1016_j_mcdonald_72851016_j_mcdonald_7285
proofs