SMS dit: Ways of proof theory