Properly implemented compressor