Comparing Lengths Indirectly (Transitivity)