Գրեք սա: A careful definition of the locale