imperfect proof Synonym