Text this: Ergodic Theorems and Converses for PSPACE Functions.