The life and writings of John Bunyan, etc.