5.1.2 过关的逻辑