On the basis this much, then, all further logical otation is to be supposed defined; all statements involving any further logical notation become construed as a bbreviations of statements whose logical constituents arc limited to those primitives. '