A1987dM comments on Proofs, Implications, and Models

[A1987dM]

That’s what I was trying to say, but I couldn’t find a decent way to put it and gave up.