Example 2 from Chzy

Introducing Modules