“…That is, are there methods that do not require an application of Liouville's theorem, and therefore do not require the inequality (7.10) in addition to M ≥ 0 (6.30)? Consider, for example, the treatment of carrying simplices which are codimension-one invariant manifolds of competitive population models, where global attraction usually requires only mild additional conditions beyond competitiveness (see, for example, [27,28,29,30]). In the continuous time case, in his seminal paper on carrying simplices [14], Hirsch merely adds to competition (that the per-capita growth function has all nonpositive entries) the stronger condition that at any nonzero equilibrium the per-capita growth function has all negative entries) (although as stated in [28], the proof is not complete and we are not aware of a published correction).…”