How big of a hole does it take to bury an elephant?