Title: Isabelle and the library cat