clarifying proof Synonym