Zaslat SMS: Non-axiomatic logic