Stav dette: A careful definition of the locale