Yeah the article mentions that they outperformed Codex, but was Codex specifically trained on code contests?