El paraje al que comúnmente llaman los mirandeses como "Monte de San Juan", se llama en realidad Monte de Miranda.