NB for future work on modular reduction