Before revision:  In order to accommodate models commonly used in practice, we allow both the statespace and per-period utilities to be unbounded.
After revision:  In order to accommodate models commonly used in practice, we allow both the state-space and per-period utilities to be unbounded.