inspecting the proof Synonym