 Given this notion, various different forms of global supervenience emerge. Stalnaker 1996, McLaughlin 1996, 1997a, and Sider 1999 all distinguish between a weak and a strong notion of global supervenience, as follows: