外码一定是被参照表的主码吗？

学习数据库原理第二章
参照完整性中
“外码或者取空值或者等于被参照表的某个元祖主码值”
让我很懵。
我有这样的疑问：既然外码是被参照表的主码，为什么还能为空❓

思考之后…
终于！

外码可以为空，但只能在参照表里为空
举个栗子

学生(学生号，专业号)专业号是外码
专业(专业名，专业号）专业号是主码

在《学生》关系中，专业号为空表示还未给该学生分配专业。

但是！
在《专业》关系中，专业号不能为空(实体完整性）