Firstly, one can find a “local”, “low-level” or “direct” objection to the proof, by showing that one of the steps (or perhaps a cluster of steps, see below) in the proof is invalid. For instance, if the implication is false, then the above proposed pro...