Title: Harbrace guide to the library and the research paper