[Snow 004] theory count function energy