Zaslat SMS: Constructible sets with applications.