Minimal set of components for instantiating the naive theory for specifying and solving finite horizon, monadic sequential decision problems.