Zaslat SMS: The concept of logical consequence