 The issues about entailment and reduction are related to a question about whether supervenience with metaphysical necessity is ontologically innocent—whether the A-properties are anything “over and above” the B-properties. 