"If the editor fails before the user saves the file, it shall recover the contents of the file being edited as of, at most, thirty seconds prior to the failure the next time the same user launches the application." This is a sample of ....