Zaslat SMS: Concrete Results on Abstract Rules