Well, his proof does leave one loophole.
The one loophole in his proof is hard to spot, but it has major implications.
mnli hypothesis: The one loophole in his proof is hard to spot, but it has major implications. premise: Well, his proof does leave one loophole.