Petrie's example demonstrates a case where global supervenience holds but strong supervenience does ...