Exist problem (7/23)

Exist problem