potential energy formally called the energy of