re investigating the proof Synonym