[Concrete 008] theory count function energy