Descriptive Complexity of Sensitivity of Cellular Automata. - Tom Favereau; Ville Salo (CoRR, 2025)