[Pebbles 003] theory count function energy