洞是什么形状的，取决于挖掘它的工具！