Completes 4.19-4.23 exercises on The Mail of Modularity