What do you call a man who has finished digging?