Assertion: mathematical notation | /r/CapableOf | use counter-examples
Facets:
value: to demonstrate the necessity of conditions
type: PURPOSE
Source sentences:
text: Mathematical notations use counter-examples to demonstrate the necessity of conditions on theorem