more books and provers