proving exactly Synonym