Names exist when carving begins (shi zhi you ming 始制有名): A theory of names in Daodejing (道德經) - Hong, Hao (Asian philosophy, 2024)