Invia SMS: Constructive real analysis