En este documento, demostramos lo siguiente: Si , hay una extensión genérica del universo constructible en la que es cierto que el principio de Separación se cumple tanto para clases efectivas (en letra clara) como para conjuntos de enteros. El resultado fue anunciado hace mucho tiempo por Leo Harrington con un esbozo de la prueba para ; su prueba completa nunca ha sido presentada. Nuestros métodos se basan en un producto numerable de nociones de forzamiento casi-disjuntas independientes en el sentido de Jensen-Solovay.