  for all \(w^*\) and all \(r^*\) and all \(v_1^*\) and all \(v_2^*\) and all \(o^*\) (etc.): actions with \(w^*\) stand in \(o^*\) to being discouraged and shunned; actions with property \(r^*\) stand in \(o^*\) to being promoted and encouraged; people with \(v_1^*\) are disposed to perform actions with \(r\) and not to perform actions with \(w^*\); people with \(v_2^*\) are disposed to perform actions with \(w\) and not to perform actions with \(r^*\); actions with \(r^*\) have \(r^*\) because they have certain natural properties on which \(r\) supervenes; similarly for actions with \(w^*\); and so on IF AND ONLY IF \(w^* = w\) and \(r^* = r\) and \(v_1^* = v_1\) and \(v_2^* = v_2\) and \(o^* = o\) (etc.).