[Agate 001] theory count function energy