transitivity done.