primitives and equality done