supervenience

not defined yet