transitivity, better reporting