Zaslat SMS: Statistical reasoning with imprecise probabilities