そうなんですよ、 where句でexistentialとprotocolが区別できればいいんですけど。