Y el pobre Kraus no se entero

La expresion toponimica Roque Nublo aparece la primera vez en 1772 en Viera y Clavijo. Hasta el momento todos los documentos anteriores de fechas tan tempranas como 20 de Julio de 1683 lo citan como toponimo de Tejeda y Tirajana sin hacer alusion al roque alguno,sino como zona ,y lo llaman NUGRO