[Grass 001] theory count function energy