Flesh out the rest of the modularity example