introduced the notion of global labels