The conjecture on regular equivalence classes of Haagerup monsters
Regular equivalence-class conjecture. There exists 2ℵ02^{\aleph_0}2ℵ0 regular equivalence classes of Haagerup monsters.