[Grass 004] theory count function energy