Negative sequence now formally included