Assertion: contradiction | /r/AtLocation | the proof
Facets:
Source sentences:
text: When the contradiction appears in the proof, there is usually an X made with 4 lines instead of 2 placed next to that line.