Neue Papers, Reduzierbarkeit weiter