Describir: A computable von Neumann-Morgenstern representation theorem.