Here, as be fore, there are alternatives of definition and therewith alternative sets of primitives; hut uppose our primitives to be such as to include later than,' and consider the totality of the known truths which under or.