Assertion: format's number | /r/HasProperty | written to entire drive
Facets:
Source sentences:
text: count, a different random number will be written to the entire drive that many times after the zero writing is complete.