Zaslat SMS: Ways of proof theory