\emptyset\notin F