Modified the statement of the equivalence theorem to match the change in semantics.