finished norm_redux.v2