1 problem

CAT(0) conjecture. The universal cover of the $v$-splitting of $W$ determined by $S'$ is $\operatorname{CAT}(0)$.