Point out characterization of reals in terms of universal properties in intro