ВсеЛюдиЗвериЕдаПроисшествияПерсоныСчастливчикиАномалии
运输单证载明运费预付或者类似性质声明的，承运人不得以运费未支付为由留置货物，但是收货人为托运人的除外。，更多细节参见搜狗输入法下载
More loosely speaking, though, the use of if and for in type，详情可参考夫子
One of the goals of Modular Design is to minimize coupling between Modules (i.e. interactions between modules). Complexity increases with every introduced coupling. And uncontrolled coupling makes it harder to reason about the system. Yet we need modules to interact, because putting everything into one procedure is not an option. Interactions just need to be kept reasonably low.