[Cork 002] theory count function energy