Zaslat SMS: Contracts in the real world