validating assertions Synonym