→ ∀
WML-DYF-QPF
(
JP
)
→ ∀