clean up transitivity