Understanding cross-reduction.