stylistic:style_transfer, structural:expansion
Etymology

Traditionally, the name Tenochtitlan was thought to come from Nahuatl tetl ("rock") and nōchtli (" prickly pear ") and is often thought to mean, "Among the prickly pears rocks." However, one attestation in the late 16th-century manuscript known as "the Bancroft dialogues" suggest the second vowel was short, so that the true etymology remains uncertain. However, it is also thought that the city was named after Tenoch.