Solvable systems are usually measurable

(ΩB) and (Uk,Uk )) , are measurable spaces are subfields of the product field . Consider an N-tuple of functions measurable. If for each ω∊Ω there exists a unique satisfying the equations , γ induces a unique map . Is this map necessarily -measurable? A generic non-sequential stochastic control problem in which a related question arises is discussed, and the conditions on (ΩB) and (Uk,Uk ) , for which the original question's answer is affirmative are investigated. Specifically, it is shown that is necessarily -measurab1e when either (Uk,Uk ) are discrete, or (ΩB) and (Uk,Uk ), are Souslin