Exist problem (9/23)

Exist problem