Sisyphus was a legendary king.