Yes, he was depressed, but he was coping the way people in the growth mindset tend to copewith determination.

Mindset by Carol S. Dweck