distinguishes between global and local specifications