Fixed-point conjecture. The map S\mathcal SS has at least one fixed point in (0,y~)(0,\tilde y)(0,y~).
