Es decir, hay ejemplos de topos que no son topos de Grothendieck.