Telefona gönder: Constructible sets with applications.