Invia SMS: Constructible sets with applications.