premise: Also in the close (left from the cathedral exit) is Marsh's Library, the first public library in Ireland, founded in 1701 and holding more than 25,000 books.
hypothesis: Marsh's Library has been remodeled several times since 1701.