I\cap F\neq\emptyset