~mrms/tophat-book