optionally ascend primes
now really reducing