Text this: Contraction mappings in the theory underlying dynamic programming /