The question arises how can one proposition (or function) occur is in another proposition? The proposition or function itself can't possibly stand in relation to the other symbols. For this reason we must introduce functions as well as || names at once in our general form of a proposition; explaining what is meant, by assigning meaning to the fact that the names stand between the |, & that the function stands on the left of the names.