Kim's own formulation of strong supervenience already accommodates relational properties, collapsing...