Is the proposal to merge the Inner Temple and Middle Temple libraries a good idea or a bad idea?