revising assertion