Assertion: algorithm | /r/HasProperty | expected for every input value
Facets:
Source sentences:
text: However, if you can mathematically prove that your algorithm will work as expected for every input value possible, this is a huge bonus.