a library is for discovering facts