[Coin Stack 001] theory count function energy