Text this: Constructible sets with applications /