Primitive Logic