Zaslat SMS: Studies in deductive logic :