Stav dette: Constructible sets with applications.