isabelle for is sat reading a book in the library.