Fjellstad, A. Tautology Elimination, Cut Elimination and S4?. LLP 2025, 1-9.