dissecting proof Synonym