Intermediate global supervenience holds that at least one of any existing B-preserving isomorphisms ...