an infinite library