Zaslat SMS: Abstract inference