Was the burnout Google-specific, or do you think it would have likely happened at other tech companies as well?