A person digging a ditch