For the case where traces 1 and 2 are related indirectly through a common ancestor, we similarly have9