F=\emptyset