See my comments to `compress()`.