 Let a basic proposition be one that is either atomic or the negation of an atomic proposition. Then consider tropes t and t* where “t is different from t*” and “t is exactly similar to t*” are both true. Assume you take either “diversity” or “identity” as primitive. Then both propositions are basic propositions. But they are logically independent. Hence, they cannot have the same truth makers. Yet, for…trope theory /…/ they do and must have the same truth makers. Thus the theory fails.