worked on it at the library