Supervenience is a modal covariation relation that can hold between distinct properties, as Jaegwon ...