If at some point he's ruled eligible to play, he would have...

If at some point he's ruled eligible to play, he would have to be in class already.