[Ice 001] theory count function energy