你可以去问问他为什么没选那门课。

如果人对不上，那个学生也有可能是吹牛了，他没进IMO。