Supervenience is purely a covariance relation: if A-facts necessitate B-facts, this describes depend...
This proposition has not been edited since the history system was added.