The assertion that a proposition can only occur in another proposition as argument to a truth-function. Given these three foundations, it follows that all propositions which are not atomic can be derived from such as are, by a uniform process, and it is this process which is indicated by Mr. Wittgenstein’s symbol.