impl compressUpward