 In Nagel 1970, he explicitly states that bridge-laws state identities of the properties signified by the relevant predicates or nomic relations among extensions. If bridge laws should thus be conceived of as stating identities or relations among the relevant terms’ extensions, then clearly reduction on such a view incorporates essential reference to the theories’ ontologies and is more than just a two-place relation holding among theories.