Equivalence theorem redux.