A refined primitive.