[Ice 002] theory count function energy