Explain the basic algorithm a little
Adding theorems of the paper
I think the summary includes everything now.
Merge branch 'incremental-aggregation'