Illustrates First-Level Module Factoring