Leibniz’s Law says that if x = y (i.e. x and y are identical—one and the same entity) then x and y have exactly the same properties. There is a superficial conflict between this principle of logic and the fact that things change. If Bill is at one time thin and at another time not so—and yet it is the very same person both times—it looks as though the very same entity (Bill) both possesses and fails to possess the property of being thin. Three-dimensionalists and four-dimensionalists respond to this problem in different ways. According to the four-dimensionalist, what is thin is not Bill (who is a four-dimensional entity) but certain temporal parts of Bill; and what is not thin are other temporal parts of Bill. So there is no single entity that both possesses and fails to possess the property of being thin. Three-dimensionalists have several options. One is to deny that there are such properties as ‘thin’ (simpliciter): there are only temporally relativised properties such as ‘thin at time t’. In that case, while Bill at t1 and Bill at t2 are the very same entity—Bill is wholly present at each time—there is no single property that this one entity both possesses and fails to possess: Bill possesses the property ‘thin at t1’ and lacks the property ‘thin at  t2’.[30]