exists-case