“…The proof of the first statement uses Kronheimer-Mrowka's spectral sequence, the second uses Dowlin's spectral sequence, and the third uses an annular version of the Kronheimer-Mrowka spectral sequence [179,181], Dowlin's spectral sequence, the spectral sequences for periodic knots [168,25] mentioned above, further hard results on Floer homology [179,181,97,104,36], and the sl 2 (C)-action on annular Khovanov homology [57]. Some of these, like the spectral sequences from equivariant Khovanov homology, lift, or at least recall, well-known properties of the Jones polynomial, such as K. Murasugi's formula [126].…”