All primitives through equality