[Rough Rock 020] theory count function energy