== Transitivity Test ==