Text this: A theory of decomposed optimal planning.