Text this: Finite dynamic programming