$F can be empty