It is interesting that there's a gap between the "prove N–S existence" conditions, which assume no forcing term, and the "counterexample" conditions, which allow a nonzero forcing term. In theory both (A) and (C) could be true.