villaverde is a city in petrifaction