Supervenience is too weak a notion to constitute reduction, even though supervenience is a necessary...