enforcing primitives