I actually saw this non-ironically somewhere (The View From 80 perhaps?) in which it was suggested that, after a certain age, waking up with pain is a positive sign, with the rationale that if some part of your body doesn't hurt, maybe you didn't really wake up after all...
"Naughty" would rather be "anziehende" for Cantor; note Shakespeare, Much Ado About Nothing.
EDIT: yet another GrIneq! Any motivation for it? Max Cut clearly has applications in fratricidal hardware (see Bombers, Strategic) and it's also dual use (see https://news.ycombinator.com/item?id=40701284 ) in that pulling wholes apart (into parts which may themselves
be amenable to decomposition) is the analysis step which (in general position) precedes synthesis.
Glad to see you've found the unicode necessary for the naughty part of the AMEN combinators: https://www.dcs.ed.ac.uk/home/pgh/arithmetic.lhs
EDIT: > If we're not in pain, we're not alive
I actually saw this non-ironically somewhere (The View From 80 perhaps?) in which it was suggested that, after a certain age, waking up with pain is a positive sign, with the rationale that if some part of your body doesn't hurt, maybe you didn't really wake up after all...