[Lava 005] theory count function energy