Primitives and Logic