  We review our recent paper, where we proved Parton distributions functions
(PDFs) to be positive at NLO in the $\overline{MS}$ factorization scheme. We
present some additional material that was useful in completing the steps for
the actual proof, but we won't attempt to report on the full proof, but
referring the reader to the paper itself.
