ransitivity almost done