The library of Yale college.