用exists代替in