Completes the high-level descriptions of the hofs.