They should.

He's on his way back to class, so he should be passing through the first floor right now.