If we restricted the admissible total extensions to those defining maximal consistent sets of sentences, in the usual sense, not only but even Sent :T neg will come out true in the minimal fixed point.