total energy subgroup of energy, 39 assertions