next: transitivity