Change no-compression formalism