Assertion: binary subtraction | /r/HasProperty | done with addition
Facets:
Source sentences:
text: binary subtraction is done with addition, it is the beauty of twos complement.