Renumber modules and rewrite Module 4 around operations