EXISTS

val EXISTS: Int