Assertion: logarithm | /r/HasProperty | written to stable storage
Facets:
Source sentences:
text: The changes are first recorded in the log, which must be written to stable storage, before the changes are written to the database.