So now we know what the Houmds are, but what is Sisyphus ? Logically it would be the town's name but the town was given another name already