... So we know that it is the case that a student who ...
... But for the most common case there's an even simpler way. ...