En este documento, probamos lo siguiente. Si , entonces hay una extensión genérica de , el universo constructible, en la que es verdad que el conjunto de todos los reales constructibles (subconjuntos de aquí) es igual al conjunto de todos los reales (en fuente clara). El resultado fue anunciado hace mucho tiempo por Leo Harrington, pero su prueba nunca ha sido publicada. Nuestros métodos se basan en forcing casi-disjunto. Para obtener una extensión genérica como se requiere, hacemos uso de una noción de forcing de la forma en , donde agrega una sobreyección de colapso genérica de sobre , mientras que cada , , es una noción de forcing casi-disjunta en la versión, que adhiere un subconjunto de . Las nociones de forcing involucradas son independientes en el sentido de que ningún objeto genérico puede ser agregado por el producto de y todos , . Esto permite la definición de cada real constructible por una fórmula en una subextensión adecuadamente construida de la extensión genérica de . La subextensión es generada por la sobreyección , conjuntos con , y conjuntos con . Un carácter especial de la construcción de nociones de forcing es , que depende de un dado , oscurece las cosas con definibilidad en la subextensión lo suficiente como para que viceversa cualquier real sea constructible; aquí se aplica el método de . Una discusión de posibles aplicaciones adicionales se agrega en la sección conclusiva.