12: for all i; j ∈ T do