Correct cumulativity; add an example