Completes 4.10-4.18 exercises on The Mail of Modularity