Note to change "f0: R -> R^n" to "f0: R^n -> R", and change the note on the right to refer to the domain type rather than the output type.