[Rock 025] theory count function energy