Zaslat SMS: Conditionals, information, and inference