wrapping up progress on modularization and Pax-Exam