Een grappig naam voor een wel grappig gat.