Describe reduction
Add an example on reduction.
Update an example in presentation.