Jaegwon Kim's 1984 formal reconstruction shows that under any mereologically closed property space, ...