<p>All of that may be true. It doesn’t mean he’s not depressed, and that’s what needs to be dealt with at this point.</p>
<p>I’m not saying he should drop out; I really don’t know how the OP should proceed. But I don’t think that “Just get over it” is necessarily the best approach.</p>