Further reductions.