Strong global supervenience's universal quantification over isomorphisms entails intermediate's exis...