パスのフォワードプログレスルール、よくわからん…