@r、Ar ⇒ @s、As (∀s)を示すルートに戻るわけか‥‥