The Bimonster is also a quotient of the Coxeter group corresponding to the Coxeter-Dynkin diagram Y555 (a Y-shaped graph with 16 nodes); this conjecture was made by John H. Conway, but remained unproven until 1990, when proof was given by Ivanov and Simon P. Norton.
