Գրեք սա: Property Based Compression Strategies