Title: The sale catalogue of Samuel Johnson's library