information-theoretic reductions