>..Nothing in life ... has any chance of succeeding without strenuous practice; and this is capable of overcoming anything..
---Diogenes (L) on Diogenes, arch-Cynic, VI.2.71
Afaik not formalised in Lean4, but sounds like optimism
Most of D's other stuff imho is optimism taken to its clear-eyed extreme. ya know. the way a very best version of us could always unironically RELY on HN [,after much practice]
>so those whose training has been of the opposite kind derive more pleasure from despising pleasure than from the pleasures themselves.
Might be why professional Nihilists admire Cynics (ie, for their ... unaffected comedy)
https://penelope.uchicago.edu/Thayer/E/Roman/Texts/Diogenes_...