Text this: Constructible sets with applications.