began fixing some bugs: added some transitivity