Chapter 9: A measurable ``measurable choice'' theorem