workers in hard hats dig a hole.