 The demand for conceptually necessary links echoes the position of Smart’s (1959) anonymous opponent who claims that if a type T is identical to a type T*, then a corresponding conceptual relation holds between expressions signifying these types.