Given a lightface $\Sigma^1_2$ set of reals A we present the construction of a tree on $\omega\times\omega_1$ such that A is the projection of T. Moreover, the tree T is an element of any transitive model of ZF-PowerSetAxiom that has $\omega_1$ as element.