You're perfectly right. It is indeed perfectly logical then. It could be reformulated like this: if f(A) > f(not A) then f(not A) is not maximal.

f: a function indicating how complete the thoughts are.

A: writing about thoughts.