but in exist statement