 T is likewise multiply realized, say by the molecular kinds N1, N2, …, Nj. Fodor’s point is that the lower level basis of the higher level law ∀x(Sx → Tx) consists in several laws that reduce different higher level instances, such as: