CEVAP:

“A, t1 anında B’dir ve A, t2 anında B değildir” önermesinin doğruluğunun metafizik açıklayıcısı şöyledir: (i) A’nın t1-evresinin bileşeni olan bir yalın somut nesnenin içinde B özelliğini örnekleyen bir trop bulunur. (ii) A’nın t2-evresinin bileşeni olan bu yalın somut nesnenin içinde B özelliğini örnekleyen bir trop bulunmaz. (iii) A’nın t1-evresi ile A’nın t2-evresi C somut nesne türüne özgü olan bir özdeşlik ölçütünü yerine getirir.