Transitivity of subtyping