Nicer PDF of arith reduction.