Chaining of conditionals. If p → q and q → r, then p → r. Sometimes called the 'transitivity of implication'.