 systems of type S of class T are contingently token/token identical with systems of type S′ in class T* =df every instance (token) of a type S system externally classified as in class T is contingently identical with some instance (token) of a type S′ system externally classified as in class T*. (1981: 504) 