underscoring the proof Synonym