«Que quede taxativamente claro, San Martín de Miravalles no existe. El pueblo se llama San Martín de Valles». Quien se muestra así de contundente es Agustín Hevia Ballina, director del Archivo Histórico Diocesano de Oviedo. Parece que está claro, ¿no?