Is the origin of the name formal

The names are all formal and legally registered by the industrial and commercial departments. Famous teachers Ling Haiquan and Su Huaiqing are knowledgeable. They have been in business for many years and can be searched online. My son was named after Ling Haiquan. Thank you for taking my answer as always.