inspecting proof Synonym