an assertion works by continually attempting to evaluate a sequence or property. an assertion fails if the property fails. the sequence above will fail whenever codice_39 is low. to accurately express the requirement that codice_38 follow codice_39 a property is required: