Exist problem (18/23)

Exist problem