a person working in a hole in a rock