La cual desde estos principios (según entendemos) se nombró Segovia: acaso del antiquísimo vocablo briga, que significa junta de gente».