Bendixson's_inequality loading ...