Assertion: contradiction | /r/HasProperty | hidden in obvioussteps of the proof
Facets:
Source sentences:
text: But again, if we dig a little deeper it starts to look as though what is really going on is that the contradiction is hidden in the “obvious” steps of the proof.