Assertion: addition | /r/SimilarTo | above case definition
Facets:
Source sentences:
text: Another straightforward computation shows that this addition is the same as the above case definition.