Löb's Theorem for Depression

—