Mean or Sum for CTL