A mythical king punished in the underworld; in Lucretius's version a great rock hangs forever over him. Lucretius reinterprets his dread as the living man's empty fear of the gods.