“Heavenly Pool lizard” from early Middle Triassic China. A name that refers to Tian Chi, “Heavenly Pool”, a famous lake near where the fossils were found. It was previously named “Jurassosaurus”, in honor of the motion picture “Jurassic Park”. Named by Chinese paleontologist Zhiming Dong in 1993.