\lnot F(m+1)