It is valuable to show the reducibility of any principle to an other through definition oferstwhile primitives, for every such achieve ment reduces the number of our presuppositions and simplifies and in tegrates the structure of our theories.