Pošljite SMS: Non-axiomatic logic