Assertion: mind's idea | /r/HasProperty | that of an isomorphism
Facets:
Source sentences:
text: The key idea behind the adder is that of an isomorphism between these two functions.