Table 4: Transitivity Check