后面加个assert(F)。