So now, basically, all the frontier models are being removed from GitHub Copilot Student.