almost all of the value functions now fleshed out