Completes 4.24-4.27 exercises on The Mail of Modularity