Text this: Characterization theorem for the conditionally computable real functions