Before revision: Procaccia explains that these axioms can be used to construct convincing explanations to the solutions.
After revision: Ariel D.Procaccia explains that these axioms can be used to construct convincing explanations to the solutions.