Zaslat SMS: Computability and logic /