Primitive_notion loading ...