Assertion: algorithm's output | /r/HasProperty | write
Facets:
Source sentences:
text: In theory applications such as log-space reductions, it is more typical to always ignore output space (in these cases it is more essential that the output is write-only).