Generalized Existential じゃなくて、 Existential に any 必須にするだけで？