Energetic Reasoning (ER) is one of the most powerful methods for efficient cumulative scheduling. It gives a necessary condition of solution existence. This necessary condition, which has to be checked, is based on the energy balance over all intervals relying on the fact that tasks cannot be interrupted. Different checkers have been proposed in the literature. The aim of this talk is to propose a new definition of the energy balance of intervals which is based on a new mathematical formulation.