Why bother with this assertion? `StudentModule` will do the same assertion, for the moment, and when we change it to be more permissive, that'll be at the same time that this assertion would have to be changed.