8.4.2 传递规则的实现