Zaslat SMS: Practical reasoning /