A little in this direction, by way of providing for our remaining primitives, and the pro gram is completed; all statements which under ordinary usage arc truths involving only our logical primitives essentially become true by convention.