Would Jose Luis Ricon exist if not for the https://en.wikipedia.org/wiki/Muslim_conquest_of_the_Iberian_Peninsula ?