John ( ) be in the classroom because I saw him in the library just now.
A.mustn'tB.isn't able to C.can't D.may not