foregrounding the proof Synonym