Envoyer par SMS: An Introduction to Non-Classical Logic.