 Sets in such pointclasses need be "definable" only up to a point.For example, every singleton set in a Polish space is closed, and thus formula_4.Therefore, it cannot be that every formula_4 set must be "more definable" than an arbitrary element of a Polish space (say, an arbitrary real number, or an arbitrary countable sequence of natural numbers).