$\displaystyle [\![ \exists y \in \dot{x} \varphi(y) ]\!] = \sup_{t}[\![ t \in \dot{x} \wedge \varphi(t) ]\!]$