Assertion: program logic | /r/HasProperty | no guarantee of actual logic
Facets:
Source sentences:
text: Program logic is no guarantee of actual logic in how the program may work.