I am curious how good are the frontier LLM at recollecting reliably facts and proofs from these books.