One Ebook to Prove Them All