用exists替代in