Supervening impossibility