In fact, they're wrong because of a much more subtle and little-known example. The village of Luzaide/Valcarlos (Basque/Castilian names) in Navarre is actually

In fact, they're wrong because of a much more subtle and little-known example. The village of Luzaide/Valcarlos (Basque/Castilian names) in Navarre is actually on the northern slopes of the Pyrenees by a tiny bit: - https://en.wikipedia.org/wiki/Luzaide/Valcarlos https://en.wikipedia.org/wiki/Luzaide/Valcarlos - https://www.openstreetmap.org/relation/343733 https://www.openstreetmap.org/relation/343733