Perfect subsets of definable sets of real numbers.