Pošljite SMS: Property Based Compression Strategies