Most interesting, I make the exact same distinction, but have the terms reversed - joy is what can coexist with sadness, happiness is sadness's mutually exclusi

Most interesting, I make the exact same distinction, but have the terms reversed - joy is what can coexist with sadness, happiness is sadness's mutually exclusive term, in my own in-mind lexicon.