a shovel can dig a hole