Monotone mappings in dynamic programming | Synapse