More concrete spec for compression