x IN (subquery) is exactly equivalent to which expression?