   As a result of such a process, the system of beliefs with which one began takes on a new form in which connections between various concepts it uses are made clear, the logical interrelations between various theses of the theory are clarified, and vague or unclear aspects of the original terminology are eliminated.  Moreover, the procedure also provides opportunities for the application of Occam’s razor, as it calls for the elimination of unnecessary or redundant aspects of a theory. Concepts or assumptions giving rise to paradoxes or conundrums or other problems within a theory are often found to be wholly unnecessary or capable of being supplanted by something less problematic.  Another advantage is that the procedure arranges its results as a deductive system, and hence invites and facilitates the discovery of new results. 