Sounds right to me. Worded differently, #4 is the basis of Cognitive behavioral therapy. Except you can't quite just 'discard' thoughts, but I get your point.