 What sort of reductive link might suit those who assume that the primary relata of reduction are properties? Doing justice to the idea that if some a reduces to some b, then a does not exist over and above b, one might tend to assume that property-reduction requires identity: