Did you see Greg Brockmann also quit? Who do you think has contributed more to OpenAI code base??