Happily we found it in the library.