a different type of library