incoming transitivity now actually incoming transitivity