In that context, it'd only be slop if Terry published those proofs and asked someone else to do that work.