so one simplified way to look at that is: definitely don't transitively construct targets if an operation is not transitive