Revisiting the proof theory of Classical S4