Add new example, which shows exponential-size decomposition proofs.
Include new example in plot.
Tiny modification.
Greatly extended presentation.