 (6) and (7) are compatible, but their conjunction has a controversial purely grounding-theoretic consequence, namely that whenever \(F(x_1,\ldots,x_n)\) and the fact that \(F(y_1,\ldots,y_n)\) is ungrounded, the fact that \(F(x_1,\ldots,x_n)\) is also ungrounded. 