The CAT(0) conjecture for Coxeter simplex splittings
CAT(0) conjecture. The universal cover of the vvv-splitting of WWW determined by S′S'S′ is CAT(0)\operatorname{CAT}(0)CAT(0).