the existence of a locale implies the existence of a globale.

#badjokes