Welcome to the ggrothendieck universe!