Add notes on InfiniteGraph