Aunque no está demostrado, la mayor parte de los expertos creen que esto es un subconjunto estricto.